Quasi-co-frobenius Corings as Galois Comodules
نویسنده
چکیده
We compare several quasi-Frobenius-type properties for corings that appeared recently in literature and provide several new characterizations for each of these properties. By applying the theory of Galois comodules with a firm coinvariant ring, we can characterize a locally quasi-Frobenius (quasi-co-Frobenius) coring as a locally projective generator in its category of comodules.
منابع مشابه
Cofrobenius Corings and Adjoint Functors
We study co-Frobenius and more generally quasi-co-Frobenius corings over arbitrary base rings and over PF base rings in particular. We generalize some results about co-Frobenius and quasi-co-Frobenius coalgebras to the case of noncommutative base rings and give several new characterizations for co-Frobenius and more generally quasi-co-Frobenius corings, some of them are new even in the coalgebr...
متن کاملOn Galois Comodules
Generalising the notion of Galois corings, Galois comodules were introduced as comodules P over an A-coring C for which PA is finitely generated and projective and the evaluation map μC : Hom (P, C) ⊗S P → C is an isomorphism (of corings) where S = End(P ). It was observed that for such comodules the functors HomA(P,−)⊗S P and −⊗A C from the category of right A-modules to the category of right ...
متن کاملCofrobenius Corings and Related Functors
We study co-Frobenius and more generally Quasi-co-Frobenius corings over arbitrary baserings and over PF baserings in particular. We generalize some results about (Quasi-) co-Frobenius coalgebras to the case of non-commutative base rings and give several new characterisations for co-Frobenius and Quasi-co-Frobenius corings, some of them are new even in the coalgebra situation. We construct Mori...
متن کاملThe Structure of Corings. Induction Functors, Maschke-type Theorem, and Frobenius and Galois-type Properties
Given a ring A and an A-coring C we study when the forgetful functor from the category of right C-comodules to the category of right A-modules and its right adjoint − ⊗A C are separable. We then proceed to study when the induction functor − ⊗A C is also the left adjoint of the forgetful functor. This question is closely related to the problem when A → AHom(C, A) is a Frobenius extension. We int...
متن کاملGroup Corings
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the G-comodules over a Galois group coring is given. We study (graded) Morita contexts associated to a group coring. Our theory is applied to group corings associated to a comodu...
متن کامل